21. Computability and Decidability :
Author: by Jacques Loeckx.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.

22. Computability, complexity, and languages :
Author: Martin D. Davis, Ron Sigal, Elaine J. Weyuker
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity,Formal languages,Machine theory
Classification :
QA267
.
D38
1994


23. Computation engineering
Author: / Ganesh Gopalakrishnan., Gopalakrishnan, Ganesh.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer science--Mathematics., Computer logic., Machine theory.
Classification :
QA
76
.
9
.
M35
G67
2006


24. Computation engineering
Author: / Ganesh Gopalakrishnan
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science--Mathematics,Computer logic.,Machine theory.

25. Computation engineering
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics. ; Computer logic. ; Machine theory. ;

26. Computational matter /
Author: Susan Stepney, Steen Rasmussen, Martyn Amos, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic data processing.,Natural computation, Congresses.,Soft computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing.,Natural computation.,Soft computing.
Classification :
QA76


27. Computer Mathematics
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:

28. Conceptual modeling :
Author: Juan C. Trujillo, Karen C. Davis, Xiaoyong Du, Zhanhuai Li, Tok Wang Ling, Guoliang Li, Mong Li Lee (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Database design, Congresses.,Web databases, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Database Management.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Software Engineering.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Data mining.,Database design.,Databases.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Web databases.
Classification :
QA76
.
9
.
D26


29. Digital libraries for open knowledge :
Author: Eva Méndez, Fabio Crestani, Cristina Ribeiro, Gabriel David, João Correia Lopes (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Digital libraries, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Natural Language Processing (NLP).,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Document Management.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Data mining.,Desktop publishing.,Digital libraries.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Natural language & machine translation.
Classification :
ZA4080


30. Elements of Logical Reasoning
Author: / Jan von Plato
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق
Classification :
QA9
.
V66
2013


31. Elements of logical reasoning /
Author: Jan von Plato
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Reasoning
Classification :
QA9
.
V66
2013


32. Exploring the early digital /
Author: Thomas Haigh, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems-- History, Congresses.,Computers, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
Classification :
QA75
.
5
.
E96
2019


33. Finite automata, formal logic, and circuit complexity
Author: Howard Straubing
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Mathematics ، Computer science,، Machine theory,، Logic, Symbolic and mathematical,، Computational complexity
Classification :
QA
76
.
9
.
M35S77


34. 20090601 ,Includes bibliographical references and index. 0
Author: 20090602 ,20090602 0
Library: Library of Islamic Parliament (Tehran)
Subject:

35. Induction, algorithmic learning theory, and philosophy
Author: / edited by Miche?le Friend, Norma B. Goethe, Valentina S. Harizanov
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer algorithms.,Machine learning.,Mathematics--Philosophy
Classification :
QA
,
76
.
9
,.
A43
,
I46
,
2007


36. Information systems and technologies to support learning :
Author: Álvaro Rocha, Mohammed Serrhini, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Education-- Effect of technological innovations on.,Educational innovations, Congresses.,Educational technology, Congresses.,Internet in education.,Artificial intelligence.,EDUCATION-- Administration-- General.,Education-- Effect of technological innovations on.,EDUCATION-- Organizations & Institutions.,Educational innovations.,Educational technology.,Internet in education.
Classification :
LB1028
.
3


37. Introduction to deep learning :
Author: Sandro Skansi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence-- Mathematics.,Machine learning.,Neural networks (Computer science),Coding theory & cryptology.,Coding theory.,Computer science.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Database Management-- Data Mining.,Computers-- Information Theory.,Data mining.,Data mining.,Image processing.,Image processing.,Mathematical modelling.,Mathematics-- Applied.,Neural networks (Computer science),Pattern perception.,Pattern recognition.
Classification :
QA76
.
9
.
D343


38. Language and automata theory and applications :
Author: edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
Classification :
QA267
.
L38
2018


39. Logic and automata
Author: / edited by Jeorg Flum, Erich Greadel, Thomas Wilke
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine theory.,Logic, Symbolic and mathematical.,Computer science--Mathematics,Computational complexity.
Classification :
QA
,
267
,.
L624
,
2008

